package org.cos.generation.epda;

import java.util.List;

public interface EPDAGetter {
	
	/**
	 * Get the active state index.
	 * @return
	 */
	public int getActiveStateIndex();
	
	/**
	 * Get the active state.
	 * @return
	 */
	public State getActiveState();
	
	/**
	 * Get the all states.
	 * @return
	 */
	public List<State> getStates();
	
	/**
	 * Get the number of the states.
	 * @return
	 */
	public int getStateSize();
	
}
